Notes on models of first-order mereological theories
نویسندگان
چکیده
منابع مشابه
Decidability of Mereological Theories
Mereology is a theory based on a binary predicate “being a part of.” Most philosophers believe that such a predicate must at least define a partial ordering: that is, it is reflexive (P1), antisymmetric (P2) and transitive (P3). In other words, three basic principles of mereology can thus be fixed. The theory axiomatized by these three basic principles is called ground mereology (GM). There are...
متن کاملFirst Order Theories for Partial Models
We investigate first order sentences valid in completions of a given partial algebraic structure a partial model. We give semantic and syntactic description of the set of all sentences valid in every completion of the given partial model first order theory of this model.
متن کاملReverse Mathematics of First-order Theories with Finitely Many Models
We examine the reverse-mathematical strength of several theorems in classical and effective model theory concerning first-order theories and their number of models. We prove that, among these, most are equivalent to one of the familiar systems RCA0, WKL0, or ACA0. We are led to a purely model-theoretic statement that implies WKL0 but refutes ACA0 over RCA0.
متن کاملUnstable First-order Theories
In this paper, we examine the divide between stable and unstable first-order theories in model theory. We begin by defining a stable theory and proving Shelah’s theorem, which reduces the question of stability to a problem of examining a single formula. Afterwards, we will provide some applications of the stability/instability divide to other model-theoretic questions, such as the question of c...
متن کاملLearning First Order Theories
In the last decade, many efforts have been devoted to the exploration of techniques for learning and refining first order theories, as the necessary step for applying machine learning methodologies to real world applications. In this paper, we present a new approach to the integration of inductive and deductive learning techniques that seems to overcome some of the limitations of existing learn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2015
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2015.009